A Process Specification Formalism1

Process Specification Method

A Content Specification for Business Process Models

Business process modeling is an essential prerequisite to business process reengineering (BPR), and workflow management (WFM). Process models have been traditionally used to model software processes, and many business process models are adaptations of these process models. Using these process models to represent business processes results in two problems. First, since these process models usual...

A Formal Specification of the Memorization Process

In this chapter we present the formal language, stochastic process algebra (STOPA), to specify cognitive systems. In addition to the usual characteristics of these formalisms, this language features the possibility of including stochastic time. This kind of time is useful to represent systems where the delays are not controlled by fixed amounts of time, but are given by probability distribution...

ALPS - A Language for Process Specification

This paper describes research identifying information models to facilitate process specification and to transfer this information to process control. A conceptual schema is introduced as a means to bridge the gap between process planning requirements and production control requirements. The result is a process specification language based on directed graph notation which allows full specificati...

f/sla from learner perspectives: a social activity or a cognitive process

in the past couple of decades sociocultural theory of sla and its implications in efl contexts have attracted attentions of research circles worldwide and aroused some controversies. firth and wagner (1997) have questioned the principles of the cognitive view which gives importance to mental constructs in favor of sociocultural view which highlights social and contextual constructs. but if soci...